more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 13818

[filed under theme 5. Theory of Logic / G. Quantification / 2. Domain of Quantification ]

Full Idea

We can show that if empty domains are permitted, then empty names must be permitted too.

Gist of Idea

If we allow empty domains, we must allow empty names

Source

David Bostock (Intermediate Logic [1997], 8.4)

Book Ref

Bostock,David: 'Intermediate Logic' [OUP 1997], p.351

Related Idea

Idea 10007 Quantifiers for domains and for inference come apart if there are no entities [Hofweber]